Reasoning about Rational, but not Logically Omniscient Agents (Extended Abstract)
نویسنده
چکیده
jekt die notwendige Folgerung vollzieht, dann weit (glaubt) es auch die Konklusion. Um diese Idee zu formalisieren, schlage ich v or, die epis-temische Logik zu \dynamisieren", d.h., eine dynamische Komponente in die Sprache einzuf uhren. An einem Beispiel wird erl autert, wie die \Dynamisierung" der epistemischen Logik realisiert werden kann. Die Arbeit ist eine erweiterte Fassung meiner Publikation [4]. Eine Zusammenfassung dieser Diplomarbeit erscheint als [5].
منابع مشابه
A Dynamic Logic of Observation and Access First Draft!
Reasoning about rational agents interacting over time is a central topic in many areas of philosophy, computer science and economics. An important challenge for the logician is to account for the many dynamic processes that govern the agents’ interaction over time. Inference, observation and communication are all examples of such processes that are the focus of current logics of informational u...
متن کاملModelling Rational Agents in Multi-Agent Systems
This extended abstract gives an overview about my current and future research as well as a summary of my PhD thesis. The thesis is about rational agents in multi-agent systems where the main focus is on formal methods that allow for modelling and reasoning about such systems and its comprised agents. Several aspects of rational agency are treated, for instance, rational agents’ behaviors, coali...
متن کاملLimited Logical Belief Analysis
The process of rational inquiry can be deened as the evolution of the beliefs of a rational agent as a consequence of its internal inference procedures and its interaction with the environment. These beliefs can be modelled in a formal way using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they seem to commit...
متن کاملReasoning about What to Plan
Agents plan in order to improve their performance. However, planning takes time and consumes resources that may in fact degrade an agents performance. Ideally, an agent should only plan when the expected improvement outweighs the expected cost and no resources should be expended on making this decision. To do this, an agent would have to be omniscient. The problem of how to approximate this ide...
متن کاملBelief, Awareness, and Limited Reasoning.
Several new logics for belief and knowledge are introduced and studied, all of which have the property that agents are not logically omniscient. In particular, in these logics, the set of beliefs of an agent does not necessarily contain all valid formulas. Thus, these logics are more suitable than traditional logics for modelling beliefs of humans (or machines) with limited reasoning capabiliti...
متن کامل